Hybrid process algebra
نویسندگان
چکیده
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.
منابع مشابه
Continuity controlled hybrid automata
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpretations of hybrid automata in the process algebra for hybrid systems and compare them with the standard interpretation of hybrid automata as timed transition systems. We also relate the synchronized product operator on ...
متن کاملAnalysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt
ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra with continuous relative timing and the process algebra with propositional signals, for the formal specification and analysis of hybrid systems. In addition to equational axioms, this hybrid process algebra has rules to deri...
متن کاملProcess algebra for hybrid systems
We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and Bergstra [Theoretical Computer Science 177:381–405, 1997]. The proposed process algebra makes it possible to deal with the behav...
متن کامل8 th Workshop on Process Algebra and Stochastically Timed Activities PASTA 2009
Discreteness and continuity are two opposite ways of describing the world. However, there are many situations, from engines to cells, in which an hybrid description, mixing both such ingredients, seems more adequate. In this presentation, we focus on stochastic hybrid systems. We present Piecewise Deterministic Markov Processes, and we provide a simpler description language, Transition-Driven S...
متن کاملModeling an Impact Control Strategy Using Hypa
We analyze a control strategy for the pick-and-place module of a component mounting device. We use a combination of techniques from bondgraphtheory, systems theory, process algebra and differential algebra to achieve this, and we show how the hybrid process algebra HyPA aides us in combining these techniques and in using them on a common hybrid model of the device.
متن کاملProcess Algebra
Process algebra is the study of distributed or parallel systems by algebraic means. Originating in computer science, process algebra has been extended in recent years to encompass not just discrete-event systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebras. A hybrid process algebra can be used for the specification, simulation, control and verificati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Algebr. Program.
دوره 62 شماره
صفحات -
تاریخ انتشار 2005